Herman Geuvers (Autor) / Najlacnejšie knihy

Knihy od autora Herman Geuvers

Zobrazené 1 – 4 z 4 výsledkov

Ďalšie

Stránka 1. z 1

Predchádzajúci

Radiť podľa a zobraziť tiež nedostupné

  1. Type Theory and Formal Proof
    Hit

    Type Theory and Formal Proof

    Rob Nederpelt, Herman Geuvers | Cambridge University Press, 2014


    Skladom u dodávateľa - Odosielame za 9 - 15 dní

    Jazyk: Angličtina

    Väzba: Pevná

    95.26

  2. Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke | Springer International Publishing AG, 2017


    Skladom u dodávateľa v malom množstve - Odosielame za 11 - 15 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    55.93

  3. Interactive Theorem Proving

    Interactive Theorem Proving

    Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011


    Skladom u dodávateľa v malom množstve - Odosielame za 11 - 15 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    55.93

  4. Types for Proofs and Programs

    Types for Proofs and Programs

    Herman Geuvers, Freek Wiedijk | Springer, Berlin, 2003


    Skladom u dodávateľa v malom množstve - Odosielame za 11 - 15 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    55.93

Ďalšie

Stránka 1. z 1

Predchádzajúci

Záznamov na stránku

Filtrovať výsledky

Jazyk
  • Angličtina4
Väzba
  • Brožovaná3
  • Pevná1
Štítky
  • Hit1
Dostupnosť
  • Do mesiaca4
Rok vydania
  • 20171
  • 20141
  • 20111
  • 20031
Rozsah ceny

-



Collection points Bratislava a 12122 dalších

Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies


Account: Log in
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Shopping cart ( Empty )

For free shipping
shop for 59,99 € and more

You are here: